## Computing the dimension of an alternant code

from PyM import *

n = 7; r = 2

K = Zn(2)
[F,t] = extension(K,[1,0,1,1],'t')

h = n*[1]
a = geometric_series(t,n)

H = matrix([h,a])

show(H)

show(blow(H,K))

H1 = prune(blow(H,K))

show(H1)

# dim is equal to ncols(H1)-nrows(H1)
show(ncols(H1)-nrows(H1))